|
|
The Nature of Computation. Logic, Algorithms, Applications
by Bonizzoni, Paola.
Publication:
. XVIII, 446 p. 42 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Reasoning and Mathematics
by Bonacina, Maria Paola.
Publication:
. XX, 259 p. 27 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Intelligent Computer Mathematics
by Jeuring, Johan.
Publication:
. XVIII, 473p. 117 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mathematics of Program Construction
by Gibbons, Jeremy.
Publication:
. X, 363p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Modelling Computing Systems
by Moller, Faron.
Publication:
. XVI, 500 p. 46 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mathematics in Computing
by O’Regan, Gerard.
Publication:
. XIX, 285 p. 131 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|